All electro--vacuum Majumdar--Papapetrou space--times with nonsingular black holes

We show that all Majumdar--Papapetrou electrovacuum space--times with a non--empty black hole region and with a non--singular domain of outer communications are the standard Majumdar--Papapetrou space--times.Comment: 9 pages, Late

Non-singular, vacuum, stationary space-times with a negative cosmological constant

We construct infinite dimensional families of non-singular stationary space times, solutions of the vacuum Einstein equations with a negative cosmological constant.Comment: minor corrections, an inessential uniqueness claim withdraw

The classification of static vacuum space-times containing an asymptotically flat spacelike hypersurface with compact interior

We prove non-existence of static, vacuum, appropriately regular, asymptotically flat black hole space-times with degenerate (not necessarily connected) components of the event horizon. This finishes the classification of static, vacuum, asymptotically flat domains of outer communication in an appropriate class of space-times, showing that the domains of outer communication of the Schwarzschild black holes exhaust the space of appropriately regular black hole exteriors.Comment: This version includes an addendum with a corrected proof of non-existence of zeros of the Killing vector at degenerate horizons. A problem with yet another Lemma is pointed out; this problem does not arise if one assumes analyticity of the metric. An alternative solution, that does not require analyticity, has been given in arXiv:1004.0513 [gr-qc] under appropriate global condition

Towards a classification of static electro-vacuum space-times containing an asymptotically flat spacelike hypersurface with compact interior

We show that static electro-vacuum black hole space-times containing an asymptotically flat spacelike hypersurface with compact interior and with both degenerate and non-degenerate components of the event horizon do not exist, under the supplementary hypothesis that all degenerate components of the event horizon have charges of the same sign. This extends previous uniqueness theorems of Simon and Masood-ul-Alam (where only non-degenerate horizons were allowed) and Heusler (where only degenerate horizons were allowed).Comment: Reverted to original v1; v2 was a result of a manipulation error, and was meant to be an update to gr-qc/9809088. The problems adressed in the addendum in v2 of gr-qc/9809088 apply also to this paper, and are similarly taken care of by the addendum to gr-qc/9809088, and by the analysis in arXiv:1004.0513 [gr-qc

Conformal boundary extensions of Lorentzian manifolds

We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of unique maximal completions. The condition is verified in several situations of interest. This leads to existence and uniqueness of maximal spacelike conformal boundaries, of maximal strongly causal boundaries, as well as uniqueness of conformal boundary extensions for asymptotically simple space-times. Examples of applications include the definition of mass, or the classification of inequivalent extensions across a Cauchy horizon of the Taub space-time

On the topology of stationary black holes

We prove that the domain of outer communication of a stationary, globally hyperbolic spacetime satisfying the null energy condition must be simply connected. Under suitable additional hypotheses, this implies, in particular, that each connected component of a cross-section of the event horizon of a stationary black hole must have spherical topology.Comment: 7 pages, Late